Thomas Jensen

Results: 78



#Item
11

Hybrid  Informa.on  Flow  monitoring   against  Web  tracking   Frederic  Besson,  Nataliia  Bielova,  Thomas  Jensen   Inria,  France     AJACS  mee:ng  

Add to Reading List

Source URL: ajacs.inria.fr

Language: English - Date: 2015-01-16 10:09:34
    12

    Hybrid Monitoring of Attacker Knowledge Frédéric Besson, Nataliia Bielova and Thomas Jensen Inria, France Abstract—Enforcement of noninterference requires proving that an attacker’s knowledge about the initial

    Add to Reading List

    Source URL: www-sop.inria.fr

    Language: English - Date: 2016-05-10 04:04:14
      13

      Daniel Neuhoff, Niels Halberg, Thomas Alföldi, William Lockeretz, Andreas Thommen, Ilse. A. Rasmussen, John Hermansen, Mette Vaarst, Lorna Lueck, Fabio Caporali, Henning Hogh Jensen, Paola Migliorini, Helga Willer (Edi

      Add to Reading List

      Source URL: shop.fibl.org

      Language: English - Date: 2015-10-28 03:56:09
        14

        A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

        Add to Reading List

        Source URL: cs.au.dk

        Language: English - Date: 2013-01-11 18:40:10
          15

          Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

          Add to Reading List

          Source URL: www.cs.au.dk

          Language: English - Date: 2015-08-11 05:53:51
            16

            A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

            Add to Reading List

            Source URL: www.cs.au.dk

            Language: English - Date: 2015-08-11 05:53:51
              17

              Automatic inference of Java non-null annotations Laurent Hubert, Thomas Jensen and David Pichardie CNRS / INRIA / IRISA - Rennes, France FMOODS’08 - Oslo

              Add to Reading List

              Source URL: www.trebuh.net

              Language: English - Date: 2016-01-16 09:07:19
                18

                S awja Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, and Tiphaine Turpin C NR S / IR IS A INR IA R enn es

                Add to Reading List

                Source URL: www.trebuh.net

                Language: English - Date: 2016-01-16 09:07:20
                  19

                  Bisimulation for multi-agent plausibility models Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Mikkel Birkegaard Andersen, Hans van Ditmarsch and Martin Holm Jensen Modal

                  Add to Reading List

                  Source URL: modalityandmodalities.weebly.com

                  Language: English - Date: 2014-06-01 15:48:09
                    20

                    1707 Evaluating recreational fisheries for an endangered species: a case study of taimen, Hucho taimen, in Mongolia Olaf P. Jensen, David J. Gilroy, Zeb Hogan, Brant C. Allen, Thomas R. Hrabik,

                    Add to Reading List

                    Source URL: www.jakevzlab.net

                    Language: English - Date: 2013-11-19 15:01:44
                      UPDATE